: （$x）（Bx∧～Gx）有abc三个概念，若a与b交叉，且b真包含于c，则以下命题中必然为假的是（）。